منابع مشابه
An Existential Locality Theorem
We prove an existential version of Gaifman’s locality theorem and show how it can be applied algorithmically to evaluate existential first-order sentences in finite structures.
متن کاملAn Inquiry into Existential Constructions
Existential constructions play an important role in the development of Generative Grammar. Their special natures urge linguists to pay painstaking effort to give them a unified account. At first we have a brief review of the relevant study of these constructions and examine their strong points and weakness. On the basis of their study, we assume that in existential constructions of SVO language...
متن کاملExistential psychotherapy: An introductory overview (*)
This paper provides an introductory overview of the
متن کاملLogics with an existential modality
We consider multi-modal logics interpreted over edge-labelled graphs with a modality 〈#〉, where 〈#〉φ means ‘φ is accessible by an edge with some label’. In a logic with finitely many edge labels, 〈#〉 is definable, but if the set of labels is infinite, it is an independent modality. We axiomatise multi-modal K, deterministic multi-modal K, and PDL with converse and a single nominal, extended wit...
متن کاملBell’s theorem, quantum mechanical non-locality and atomic cascade photons
Bell’s theorem of 1965 is a proof that all realistic interpretations of quantum mechanics must be non-local. Bell’s theorem consists of two parts: first a correlation inequality is derived that must be satisfied by all local realistic theories; second it is demonstrated that quantum mechanical probabilities violate this inequality in certain cases. In the case of ideal experiments, Bell’s theor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2004
ISSN: 0168-0072
DOI: 10.1016/j.apal.2004.01.005